The Algebra of Multi-Agent Dynamic Belief Revision
نویسندگان
چکیده
منابع مشابه
The Algebra of Multi-Agent Dynamic Belief Revision
We refine our algebraic axiomatization in [8, 9] of epistemic actions and epistemic update (notions defined in [5, 6] using a relational, Kripke-style semantics), to incorporate a mechanism for dynamic belief revision in a multi-agent setting. Our approach has a number of novel features, when compared with traditional belief revision systems such as AGM [2]. Firstly: while traditional belief re...
متن کاملMulti-Agent Belief Revision
We introduce a basic framework for multi agent belief revision in heterogeneous societies where agents are required to be consistent in their beliefs on shared variables We identify several properties one may require a general multi agent belief revision operator to satisfy and show several basic implications of these requirements Our work reveals the connection between multi agent belief revis...
متن کاملDynamic Belief Revision over Multi-Agent Plausibility Models
In this paper, we develop a notion of doxastic actions, general enough to cover all examples of communication actions and most other belief-changing actions encountered in the literature, but also flexible enough to deal with the issue of (static and dynamic) revision of beliefs. This can be seen as a natural extension of the work in [3, 4] on “epistemic actions”, incorporating ideas from the s...
متن کاملMulti-Agent Belief Revision with Linked Plausibilities
In [11] it is shown how propositional dynamic logic (PDL) can be interpreted as a logic of belief revision that extends the logic of communication and change (LCC) given in [7]. This new version of epistemic/doxastic PDL does not impose any constraints on the basic relations and because of this it does not suffer from the drawback of LCC that these constraints may get lost under updates that ar...
متن کامل{ ? 1 Belief Revision by Multi - Agent Genetic
The revision of beliefs is an important general purpose functionality that an agent must exhibit. The agent usually needs to perform this task in cooperation with other agents, because access to knowledge and the knowledge itself are distributed in nature. In this work, we propose a new approach for performing belief revision in a society of logic-based agents, by means of a (distributed) genet...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2006
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2006.02.012